Search results for "Quantum query"

showing 10 items of 13 documents

Quantum Queries on Permutations with a Promise

2009

This paper studies quantum query complexities for deciding (exactly or with probability 1.0) the parity of permutations of n numbers, 0 through n *** 1. Our results show quantum mechanism is quite strong for this non-Boolean problem as it is for several Boolean problems: (i) For n = 3, we need a single query in the quantum case whereas we obviously need two queries deterministically. (ii) For even n , n /2 quantum queries are sufficient whereas we need n *** 1 queries deterministically. (iii) Our third result is for the problem deciding whether the given permutation is the identical one. For this problem, we show that there is a nontrivial promise such that if we impose that promise to the …

CombinatoricsDiscrete mathematicsQuantum queryPermutationQuantum algorithmParity (physics)Boolean functionQuantumComputer Science::DatabasesMathematics
researchProduct

Quantum Queries on Permutations

2015

K. Iwama and R. Freivalds considered query algorithms where the black box contains a permutation. Since then several authors have compared quantum and deterministic query algorithms for permutations. It turns out that the case of \(n\)-permutations where \(n\) is an odd number is difficult. There was no example of a permutation problem where quantization can save half of the queries for \((2m+1)\)-permutations if \(m\ge 2\). Even for \((2m)\)-permutations with \(m\ge 2\), the best proved advantage of quantum query algorithms is the result by Iwama/Freivalds where the quantum query complexity is \(m\) but the deterministic query complexity is \((2m-1)\). We present a group of \(5\)-permutati…

CombinatoricsQuantization (physics)Quantum parallelismQuantum queryPermutationMathematics::CombinatoricsGroup (mathematics)Computer Science::Information RetrievalQuantumComputer Science::DatabasesMathematics
researchProduct

Exact Quantum Query Complexity of $$\text {EXACT}_{k,l}^n$$

2017

In the exact quantum query model a successful algorithm must always output the correct function value. We investigate the function that is true if exactly k or l of the n input bits given by an oracle are 1. We find an optimal algorithm (for some cases), and a nontrivial general lower and upper bound on the minimum number of queries to the black box.

CombinatoricsQuantum query010201 computation theory & mathematics0103 physical sciences0102 computer and information sciencesFunction (mathematics)010306 general physics01 natural sciencesUpper and lower boundsValue (mathematics)OracleMathematics
researchProduct

Quantum Query Complexity for Some Graph Problems

2004

The paper [4] by H. Buhrman and R. de Wolf contains an impressive survey of solved and open problems in quantum query complexity, including many graph problems. We use recent results by A.Ambainis [1] to prove higher lower bounds for some of these problems. Some of our new lower bounds do not close the gap between the best upper and lower bounds. We prove in these cases that it is impossible to provide a better application of Ambainis’ technique for these problems.

CombinatoricsQuantum queryGraph (abstract data type)Computer Science::Computational ComplexityUpper and lower boundsMathematics
researchProduct

Quantum Algorithm for Dyck Language with Multiple Types of Brackets

2021

We consider the recognition problem of the Dyck Language generalized for multiple types of brackets. We provide an algorithm with quantum query complexity \(O(\sqrt{n}(\log n)^{0.5k})\), where n is the length of input and k is the maximal nesting depth of brackets. Additionally, we show the lower bound for this problem which is \(\varOmega (\sqrt{n}c^{k})\) for some constant c.

CombinatoricsQuantum queryRegular languageNesting (computing)Dyck languageQuantum algorithmConstant (mathematics)Binary logarithmUpper and lower boundsMathematics
researchProduct

The quantum query complexity of certification

2009

We study the quantum query complexity of finding a certificate for a d-regular, k-level balanced NAND formula. Up to logarithmic factors, we show that the query complexity is Theta(d^{(k+1)/2}) for 0-certificates, and Theta(d^{k/2}) for 1-certificates. In particular, this shows that the zero-error quantum query complexity of evaluating such formulas is O(d^{(k+1)/2}) (again neglecting a logarithmic factor). Our lower bound relies on the fact that the quantum adversary method obeys a direct sum theorem.

FOS: Computer and information sciencesDiscrete mathematicsQuantum Physics0209 industrial biotechnologyNuclear and High Energy PhysicsQuantum queryComputer scienceDirect sumFOS: Physical sciencesGeneral Physics and AstronomyStatistical and Nonlinear Physics0102 computer and information sciences02 engineering and technologyCertificationComputational Complexity (cs.CC)Certificate01 natural sciencesTheoretical Computer ScienceComputer Science - Computational Complexity020901 industrial engineering & automationComputational Theory and Mathematics010201 computation theory & mathematicsQuantum Physics (quant-ph)QuantumMathematical PhysicsQuantum Information and Computation
researchProduct

Adversary Lower Bound for the k-sum Problem

2013

We prove a tight quantum query lower bound $\Omega(n^{k/(k+1)})$ for the problem of deciding whether there exist $k$ numbers among $n$ that sum up to a prescribed number, provided that the alphabet size is sufficiently large. This is an extended and simplified version of an earlier preprint of one of the authors arXiv:1204.5074.

FOS: Computer and information sciencesDiscrete mathematicsQuantum queryQuantum PhysicsFOS: Physical sciencesComputational Complexity (cs.CC)AdversaryOmegaUpper and lower boundsCombinatoricsComputer Science - Computational ComplexityOrthogonal arrayAlphabetQuantum Physics (quant-ph)Computer Science::Formal Languages and Automata TheoryMathematics
researchProduct

Properties and application of nondeterministic quantum query algorithms

2006

Many quantum algorithms can be analyzed in a query model to compute Boolean functions where input is given by a black box. As in the classical version of decision trees, different kinds of quantum query algorithms are possible: exact, zero-error, bounded-error and even nondeterministic. In this paper, we study the latter class of algorithms. We introduce a fresh notion in addition to already studied nondeterministic algorithms and introduce dual nondeterministic quantum query algorithms. We examine properties of such algorithms and prove relations with exact and nondeterministic quantum query algorithm complexity. As a result and as an example of the application of discovered properties, we…

Quantum PhysicsClass (set theory)Quantum queryComputer scienceDecision treeFOS: Physical sciencesDUAL (cognitive architecture)Nondeterministic algorithmBlack boxQuantum algorithmQuantum Physics (quant-ph)Boolean functionAlgorithmComputer Science::DatabasesSPIE Proceedings
researchProduct

Grover’s Search with Faults on Some Marked Elements

2018

Grover’s algorithm is a quantum query algorithm solving the unstructured search problem of size [Formula: see text] using [Formula: see text] queries. It provides a significant speed-up over any classical algorithm [3]. The running time of the algorithm, however, is very sensitive to errors in queries. Multiple authors have analysed the algorithm using different models of query errors and showed the loss of quantum speed-up [2, 6]. We study the behavior of Grover’s algorithm in the model where the search space contains both faulty and non-faulty marked elements. We show that in this setting it is indeed possible to find one of marked elements in [Formula: see text] queries. We also analyze…

Quantum queryComputational complexity theoryComputer science0103 physical sciencesComputer Science (miscellaneous)Search problemFault toleranceQuantum search algorithm010306 general physics01 natural sciencesAlgorithm010305 fluids & plasmasInternational Journal of Foundations of Computer Science
researchProduct

Recent Developments in Quantum Algorithms and Complexity

2014

We survey several recent developments in quantum algorithms and complexity: Reichardt’s characterization of quantum query algorithms via span programs [15]; New bounds on the number of queries that are necessary for simulating a quantum algorithm that makes a very small number of queries [2]; Exact quantum algorithms with superlinear advantage over the best classical algorithm [4].

Quantum queryComputer scienceSmall number0102 computer and information sciences02 engineering and technologySpan (engineering)01 natural sciences010201 computation theory & mathematicsComputerSystemsOrganization_MISCELLANEOUS020204 information systems0202 electrical engineering electronic engineering information engineeringQuantum algorithmBoolean functionAlgorithmComputer Science::DatabasesDescriptional Complexity of Formal Systems (16th International Workshop, DCFS 2014)
researchProduct